Faddeev-Leverrier algorithm

#incomplete